On predecessors of finite languages
نویسندگان
چکیده
منابع مشابه
On the dissimilarity operation on finite languages
The distinguishability language of a regular language L is the set of words distinguishing between pairs of words under the Myhill-Nerode equivalence induced by L, i.e., between pairs of distinct left quotients of L. The similarity relation induced by a language L is a similarity relation inspired by the Myhill-Nerode equivalence and it was used to obtain compact representation of automata for ...
متن کاملOn the decomposition of finite languages
Representations of nite languages as a product (catenation) of languages are investigated, where the factor languages are \prime", that is, cannot be decomposed further in a nontrivial manner. In general, such prime decompositions are not unique even the number of factors can vary exponentially. The paper investigates the uniqueness of prime decompositions, as well as the commuting of the facto...
متن کاملOn well quaasiordering of finite languages
We investigate here the quasiordering of finite sets of finite strings over an infinite set of symbols S. We set K L iff it is possible to rename symbols occurring in the strings of L so that any string of K is a subsequence of a string of the renamed L. We prove that is a wqo which answers the question raised by J. Gustedt in [3]. We prove also a stronger version with injective correspondence ...
متن کاملOn the r.e. predecessors of d.r.e. degrees
Let d be a Turing degree containing differences of recursively enumerable sets (d.r.e.sets ) and R[d] be the class of less than d r.e.degrees in which d is relatively enumerable (r.e.). A.H.Lachlan proved that for any non-recursive d.r.e. d R[d] is not empty. We show that the r.e.degree defined by Lachlan for a d.r.e.set D ∈d is just the minimum degree in which D is r.e. Then we study for a giv...
متن کاملPredecessors of preprint servers
Although there was an early experiment in the 1960s with the central distribution of paper preprints in the biomedical sciences, these sciences have not been early adopters of electronic preprint servers. Some barriers to the development of a ‘preprint culture’ in the biomedical sciences are described. Multiple factors that, from the 1960s, fostered the transition from a paper-based preprint cu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Control
سال: 1981
ISSN: 0019-9958
DOI: 10.1016/s0019-9958(81)90359-4